Eel, a Declarative Language for Programming Adaptive Agents
نویسنده
چکیده
This is a report on the Eel programming language, its syntax, semantics and intended use. The language has been developed as a tool to allow programs to adapt using symbolic learning techniques. Eel is a logic language and has a declarative interpretation of user and process communication. This is achieved by extending the traditional deductive proof procedure with abduction of a set of communication events. Eel also allows initiation of concurrent evaluation of subqueries and has a declarative interpretation of such initiations.
منابع مشابه
Declarative Adaptive Agents
This is a report on the aims of and the latest results from my Ph.D. research work. The aim of the work is to create a framework which allows a declarative representation of programs that interact with external processes and can adapt according to generalisations made from that interaction. Such systems are also described as adaptive agents. A new logic programming language, Eel, has been devel...
متن کاملThe Eel Programming Language and Internal Concurrency in Logic Agents
This paper describes work done on creating the logic programming language Eel. Eel is an is an extension of prolog which reserves two predicates to handle i/o, process communication and process initiation. The paper also presents an adaption of a behaviour based agent architecture and gives examples of how parts of that adapted architecture can be implemented in Eel. As an aside the paper comme...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملA Framework for Declarative Update Specifications in Logic Programs
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifications of update policies, which is built upon such approaches. It extends the LUPS language for update specifications and incorporates the notion of events into the framework. An update policy allows an agent to flexib...
متن کاملTowards Adaptive Quality-Aware Programming with Declarative QoS Constraints
Quality of service (QoS) has become one of the most important aspects of modern multimedia applications. Nevertheless, programming of QoS-aware, adaptive applications is cumbersome and error-prone. Several QoS-oriented programming methods and tools have been presented, relying on special languages or complex frameworks. Instead, we suggest to slightly extend an existing general-purpose programm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998